https://clarke.cs-manual.com/d-l30-1.html